[INFO] fetching crate huub 100.0.0...
[INFO] testing huub-100.0.0 against master#cced03bfd61a304243a34504618ecec86c17063f for pr-154065-2
[INFO] extracting crate huub 100.0.0 into /workspace/builds/worker-1-tc1/source
[INFO] started tweaking crates.io crate huub 100.0.0
[INFO] removed 0 missing examples
[INFO] finished tweaking crates.io crate huub 100.0.0
[INFO] tweaked toml for crates.io crate huub 100.0.0 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate huub 100.0.0 on toolchain cced03bfd61a304243a34504618ecec86c17063f
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate huub 100.0.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded flatzinc-serde v0.5.0
[INFO] [stderr]   Downloaded rangelist v0.4.0
[INFO] [stderr]   Downloaded rangelist v0.3.2
[INFO] [stderr]   Downloaded dissimilar v1.0.11
[INFO] [stderr]   Downloaded bon v3.9.1
[INFO] [stderr]   Downloaded pindakaas v0.2.3
[INFO] [stderr]   Downloaded bon-macros v3.9.1
[INFO] [stderr]   Downloaded pindakaas-cadical v0.2.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 784d8f73af5c78ceba777a8d365795391a8c32f10fcbab6f4a23de2c07b151f0
[INFO] running `Command { std: "docker" "start" "784d8f73af5c78ceba777a8d365795391a8c32f10fcbab6f4a23de2c07b151f0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "784d8f73af5c78ceba777a8d365795391a8c32f10fcbab6f4a23de2c07b151f0" "/opt/rustwide/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "784d8f73af5c78ceba777a8d365795391a8c32f10fcbab6f4a23de2c07b151f0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "784d8f73af5c78ceba777a8d365795391a8c32f10fcbab6f4a23de2c07b151f0" "/opt/rustwide/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling prettyplease v0.2.37
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling rustc-hash v2.1.2
[INFO] [stderr]    Compiling rangelist v0.3.2
[INFO] [stderr]    Compiling rangelist v0.4.0
[INFO] [stderr]    Compiling cc v1.2.62
[INFO] [stderr]    Compiling darling_core v0.23.0
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling pindakaas-cadical v0.2.1
[INFO] [stderr]    Compiling darling_macro v0.23.0
[INFO] [stderr]    Compiling darling v0.23.0
[INFO] [stderr]    Compiling bon-macros v3.9.1
[INFO] [stderr]    Compiling bon v3.9.1
[INFO] [stderr]    Compiling pindakaas v0.2.3
[INFO] [stderr]    Compiling huub v100.0.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 13s
[INFO] running `Command { std: "docker" "inspect" "784d8f73af5c78ceba777a8d365795391a8c32f10fcbab6f4a23de2c07b151f0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "784d8f73af5c78ceba777a8d365795391a8c32f10fcbab6f4a23de2c07b151f0" "/opt/rustwide/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling darling_core v0.23.0
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling nix v0.31.3
[INFO] [stderr]    Compiling bitflags v2.11.1
[INFO] [stderr]    Compiling clap_derive v4.6.1
[INFO] [stderr]    Compiling tracing-test-macro v0.2.6
[INFO] [stderr]    Compiling dissimilar v1.0.11
[INFO] [stderr]    Compiling expect-test v1.5.1
[INFO] [stderr]    Compiling ctrlc v3.5.2
[INFO] [stderr]    Compiling clap v4.6.1
[INFO] [stderr]    Compiling matchers v0.2.0
[INFO] [stderr]    Compiling tracing-subscriber v0.3.23
[INFO] [stderr]    Compiling darling_macro v0.23.0
[INFO] [stderr]    Compiling darling v0.23.0
[INFO] [stderr]    Compiling bon-macros v3.9.1
[INFO] [stderr]    Compiling tracing-test v0.2.6
[INFO] [stderr]    Compiling bon v3.9.1
[INFO] [stderr]    Compiling huub v100.0.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 38.52s
[INFO] running `Command { std: "docker" "inspect" "784d8f73af5c78ceba777a8d365795391a8c32f10fcbab6f4a23de2c07b151f0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "784d8f73af5c78ceba777a8d365795391a8c32f10fcbab6f4a23de2c07b151f0" "/opt/rustwide/cargo-home/bin/cargo" "+cced03bfd61a304243a34504618ecec86c17063f" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.16s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/huub-21bd59927f3fad23)
[INFO] [stdout] 
[INFO] [stdout] running 113 tests
[INFO] [stdout] test constraints::cumulative::tests::test_cumulative_var_capacity_unsat ... ok
[INFO] [stdout] test constraints::cumulative::tests::test_cumulative_propagate ... ok
[INFO] [stdout] test constraints::cumulative::tests::test_cumulative_val_sat ... ok
[INFO] [stdout] test constraints::cumulative::tests::test_cumulative_var_dur_unsat ... ok
[INFO] [stdout] test constraints::cumulative::tests::test_cumulative_var_usage_sat ... ok
[INFO] [stdout] test constraints::int_array_element::tests::recompute_max_support_after_index_pruning ... ok
[INFO] [stdout] test constraints::int_array_element::tests::recompute_min_support_after_index_pruning ... ok
[INFO] [stdout] test constraints::int_array_minimum::tests::test_minimum_unsat ... ok
[INFO] [stdout] test constraints::int_array_minimum::tests::test_minimum_sat ... ok
[INFO] [stdout] test constraints::cumulative::tests::test_cumulative_var_capacity_sat ... ok
[INFO] [stdout] test constraints::int_linear::tests::test_constraint_rewriting ... ok
[INFO] [stdout] test constraints::int_array_element::tests::test_element_bounds_sat ... ok
[INFO] [stdout] test constraints::int_array_element::tests::test_element_holes ... ok
[INFO] [stdout] test constraints::int_linear::tests::double_int_val ... ok
[INFO] [stdout] test constraints::int_linear::tests::test_linear_ge_sat ... ok
[INFO] [stdout] test constraints::cumulative::tests::test_cumulative_var_usage_unsat ... ok
[INFO] [stdout] test constraints::cumulative::tests::test_cumulative_val_unsat ... ok
[INFO] [stdout] test constraints::int_linear::tests::test_linear_le_sat ... ok
[INFO] [stdout] test constraints::cumulative::tests::test_cumulative_var_dur_sat ... ok
[INFO] [stdout] test constraints::int_abs::tests::test_int_abs_sat ... ok
[INFO] [stdout] test constraints::int_array_minimum::tests::test_maximum_sat ... ok
[INFO] [stdout] test constraints::int_array_minimum::tests::test_maximum_unsat ... ok
[INFO] [stdout] test constraints::int_linear::tests::test_linear_le_unsat ... ok
[INFO] [stdout] test constraints::int_linear::tests::test_linear_ne_sat ... ok
[INFO] [stdout] test constraints::int_linear::tests::test_reified_linear_ne_sat ... ok
[INFO] [stdout] test constraints::int_mul::tests::overflow_intermediate_sat ... ok
[INFO] [stdout] test constraints::int_mul::tests::overflow_unsat ... ok
[INFO] [stdout] test constraints::int_no_overlap::tests::no_overlap_sat_2d_nonstrict ... ok
[INFO] [stdout] test constraints::int_pow::tests::test_int_pow_underflow ... ok
[INFO] [stdout] test constraints::int_linear::tests::test_reified_linear_ge_sat ... ok
[INFO] [stdout] test constraints::int_no_overlap::tests::no_overlap_sat_3d ... ok
[INFO] [stdout] test constraints::int_mul::tests::underflow_unsat ... ok
[INFO] [stdout] test constraints::int_unique::tests::test_all_different_bounds_sat_2 ... ok
[INFO] [stdout] test constraints::int_unique::tests::test_all_different_bounds_sat_1 ... ok
[INFO] [stdout] test constraints::int_pow::tests::test_int_pow_overflow ... ok
[INFO] [stdout] test constraints::int_unique::tests::test_all_different_bounds_sat_3 ... ok
[INFO] [stdout] test constraints::int_div::tests::test_int_div_simplify ... ok
[INFO] [stdout] test constraints::int_table::tests::test_tertiary_table_sat ... ok
[INFO] [stdout] test constraints::int_mul::tests::simple_sat ... ok
[INFO] [stdout] test constraints::int_unique::tests::test_all_different_bounds_unsat ... ok
[INFO] [stdout] test constraints::int_unique::tests::test_gapped_domain_regression ... ok
[INFO] [stdout] test constraints::int_unique::tests::test_all_different_value_unsat ... ok
[INFO] [stdout] test constraints::int_unique::tests::test_sudoku_1 ... ok
[INFO] [stdout] test constraints::int_unique::tests::test_all_different_value_sat ... ok
[INFO] [stdout] test constraints::int_array_element::tests::test_element_unsat ... ok
[INFO] [stdout] test constraints::int_value_precede::tests::test_seq_precede_chain_simple ... ok
[INFO] [stdout] test constraints::int_value_precede::tests::test_seq_precede_chain_single_var ... ok
[INFO] [stdout] test constraints::int_value_precede::tests::test_val_precede_chain_all_enforced ... ok
[INFO] [stdout] test constraints::int_value_precede::tests::test_val_precede_chain_simple ... ok
[INFO] [stdout] test constraints::int_value_precede::tests::test_val_precede_chain_single_var ... ok
[INFO] [stdout] test constraints::int_pow::tests::test_int_pow_sat ... ok
[INFO] [stdout] test constraints::int_value_precede::tests::test_value_precede_chain_holes ... ok
[INFO] [stdout] test constraints::int_value_precede::tests::test_value_precede_chain_out_of_bounds ... ok
[INFO] [stdout] test constraints::int_no_overlap::tests::no_overlap_sat_2d ... ok
[INFO] [stdout] test constraints::int_no_overlap::tests::no_overlap_unsat ... ok
[INFO] [stdout] test constraints::int_linear::tests::test_reified_linear_le_sat ... ok
[INFO] [stdout] test constraints::int_table::tests::test_binary_table_sat ... ok
[INFO] [stdout] test constraints::int_linear::tests::test_linear_ge_unsat ... ok
[INFO] [stdout] test helpers::matrix::tests::test_index_2d_new_data ... ok
[INFO] [stdout] test helpers::overflow::tests::double_intval_size ... ok
[INFO] [stdout] test helpers::overflow::tests::test_overflow_impossible ... ok
[INFO] [stdout] test helpers::matrix::tests::test_index_3d_new_data ... ok
[INFO] [stdout] test helpers::overflow::tests::test_overflow_possible ... ok
[INFO] [stdout] test helpers::tests::test_div_floor ... ok
[INFO] [stdout] test model::expressions::bool_formula::tests::simplify_and_formula ... ok
[INFO] [stdout] test model::expressions::bool_formula::tests::simplify_equiv_formula ... ok
[INFO] [stdout] test helpers::matrix::tests::test_index_mut_3d_with_dimensions ... ok
[INFO] [stdout] test constraints::int_unique::tests::test_sudoku_4 ... ok
[INFO] [stdout] test model::expressions::bool_formula::tests::simplify_ifthenelse_formula ... ok
[INFO] [stdout] test model::expressions::bool_formula::tests::simplify_or_formula ... ok
[INFO] [stdout] test model::expressions::bool_formula::tests::simplify_xor_formula ... ok
[INFO] [stdout] test model::tests::test_inverted_bool ... ok
[INFO] [stdout] test constraints::int_value_precede::tests::test_seq_precede_chain_unrestricted ... ok
[INFO] [stdout] test model::expressions::bool_formula::tests::simplify_not_formula ... ok
[INFO] [stdout] test model::expressions::bool_formula::tests::simplify_implies_formula ... ok
[INFO] [stdout] test model::tests::test_model_advisor_int_call ... ok
[INFO] [stdout] test solver::activation_list::tests::test_activation_list ... ok
[INFO] [stdout] test helpers::tests::test_div_ceil ... ok
[INFO] [stdout] test helpers::matrix::tests::test_index_mut_2d_with_dimensions ... ok
[INFO] [stdout] test model::tests::test_model_advisor_bool_call ... ok
[INFO] [stdout] test solver::decision::integer::tests::eager_gaps_lits ... ok
[INFO] [stdout] test solver::engine::tests::queued_integer_event_survives_sat_assignment ... ok
[INFO] [stdout] test solver::decision::integer::tests::lazy_gaps_lits ... ok
[INFO] [stdout] test solver::queue::test::priority_order ... ok
[INFO] [stdout] test constraints::int_value_precede::tests::test_value_precede_chain_simple ... ok
[INFO] [stdout] test tests::test_bounding_add ... ok
[INFO] [stdout] test tests::lin_multi_alias ... ok
[INFO] [stdout] test tests::it_works ... ok
[INFO] [stdout] test tests::test_bounding_mul ... ok
[INFO] [stdout] test solver::decision::integer::tests::eager_continuous_lits ... ok
[INFO] [stdout] test solver::trail::tests::test_trail_event ... ok
[INFO] [stdout] test model::tests::test_model_advisor_bool_no_call ... ok
[INFO] [stdout] test tests::test_bounding_neg ... ok
[INFO] [stdout] test tests::test_bounding_sub ... ok
[INFO] [stdout] test tests::test_require_bool_view_over_aliased_int_decision ... ok
[INFO] [stdout] test tests::test_unify_int_lin_view_domains ... ok
[INFO] [stdout] test tests::test_unify_int_view_for_bool_3 ... ok
[INFO] [stdout] test tests::test_unify_int_view_for_bool_2 ... ok
[INFO] [stdout] test tests::test_unify_int_view_for_bool_4 ... ok
[INFO] [stdout] test tests::test_duplicate_propagation ... ok
[INFO] [stdout] test tests::test_unify_int_view_for_bool_5 ... ok
[INFO] [stdout] test tests::test_unify_int_impossible ... ok
[INFO] [stdout] test tests::test_unify_int_view_for_bool_1 ... ok
[INFO] [stdout] test tests::test_unify_int_view_for_bool_6 ... ok
[INFO] [stdout] test constraints::int_unique::tests::test_sudoku_5 ... ok
[INFO] [stdout] test constraints::disjunctive::tests::test_disjunctive_strict_propagator ... ok
[INFO] [stdout] test constraints::int_unique::tests::test_sudoku_3 ... ok
[INFO] [stdout] test constraints::int_unique::tests::test_sudoku_6 ... ok
[INFO] [stdout] test constraints::int_div::tests::test_int_div_sat ... ok
[INFO] [stdout] test constraints::int_unique::tests::test_sudoku_2 ... ok
[INFO] [stdout] test constraints::int_value_precede::tests::test_value_precede_chain_unrestricted ... ok
[INFO] [stdout] test constraints::int_value_precede::tests::test_value_precede_chain_complex ... ok
[INFO] [stdout] test constraints::int_value_precede::tests::test_seq_precede_chain_paper ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 113 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.36s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests huub
[INFO] [stdout] 
[INFO] [stdout] running 20 tests
[INFO] [stdout] test src/constraints/int_unique.rs - constraints::int_unique::IntUniqueBounds<I>::path_set (line 396) ... ignored
[INFO] [stdout] test src/model.rs - model::Model::new_int_decision (line 301) ... ok
[INFO] [stdout] test src/lib.rs - (line 26) ... ok
[INFO] [stdout] test src/solver.rs - solver::Solver<Sat>::solve (line 867) ... ok
[INFO] [stdout] test src/lower.rs - lower::LoweringMap::get (line 663) ... ok
[INFO] [stdout] test src/model.rs - model::Model::lower (line 262) ... ok
[INFO] [stdout] test src/solver.rs - solver::SolveArgs<'a,Sat,S,F,State>::collect_solutions_in (line 477) ... ok
[INFO] [stdout] test src/model/expressions.rs - model::expressions::Model::unique (line 440) ... ok
[INFO] [stdout] test src/solver.rs - solver::Solver<Sat>::solve (line 893) ... ok
[INFO] [stdout] test src/views/linear_bool_view.rs - views::linear_bool_view::LinearBoolView (line 43) ... ignored
[INFO] [stdout] test src/views/linear_view.rs - views::linear_view::LinearView (line 37) ... ignored
[INFO] [stdout] test src/views/offset_view.rs - views::offset_view::OffsetView (line 32) ... ignored
[INFO] [stdout] test src/solver.rs - solver::Solver<Sat>::solve (line 876) ... ok
[INFO] [stdout] test src/solver.rs - solver::Solver<Sat>::solve (line 904) ... ok
[INFO] [stdout] test src/model/expressions.rs - model::expressions::Model::linear (line 189) ... ok
[INFO] [stdout] test src/model.rs - model::Model (line 85) ... ok
[INFO] [stdout] test src/solver/branchers.rs - solver::branchers::IntBrancher::new_in (line 214) ... ok
[INFO] [stdout] test src/model/expressions.rs - model::expressions::ModelLinearBuilder<'a,S>::reify (line 752) ... ok
[INFO] [stdout] test src/solver.rs - solver::Solver<Sat>::solve (line 918) ... ok
[INFO] [stdout] test src/solver/branchers.rs - solver::branchers::WarmStartBrancher::new_in (line 358) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 4 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 2.11s; merged doctests compilation took 2.01s
[INFO] running `Command { std: "docker" "inspect" "784d8f73af5c78ceba777a8d365795391a8c32f10fcbab6f4a23de2c07b151f0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "784d8f73af5c78ceba777a8d365795391a8c32f10fcbab6f4a23de2c07b151f0", kill_on_drop: false }`
[INFO] [stdout] 784d8f73af5c78ceba777a8d365795391a8c32f10fcbab6f4a23de2c07b151f0
